COMMENT ⊗   VALID 00042 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00004 00002	Scientific Papers and drafts-SCI
C00008 00003	LISP functions-LISP
C00013 00004	FOL axioms, proofs and papers -AXIOMS
C00019 00005	Not used
C00020 00006	LISP book -BOOK
C00024 00007	Articles -ART
C00031 00008	Quasar and other fakery -QUASAR
C00033 00009	CSD affairs -CSD
C00035 00010	Environment, etc. -ENV
C00037 00011	Proposals -PROPOS
C00041 00012	mtc -MTC
C00043 00013	AI and philosophy study	-AIPHIL
C00044 00014	Reviews -REVIEW
C00048 00015	CS206 -CS206
C00050 00016	Research notes -RESEAR
C00059 00017	S1 -S1
C00060 00018	Miscellaneous -MISC
C00065 00019	Political action - ACTION
C00066 00020	Slides for lectures -SLIDES
C00067 00021	Essays in Science and Technology -ESS
C00077 00022	CS226 -CS226
C00078 00023	DRAFTS -DRAFTS
C00079 00024	Other people's papers -OTHERS
C00080 00025	nuclear -NUCLEA
C00081 00026	News stories -NS
C00084 00027	AI Lab	-LAB
C00085 00028	Problem solving -PROBLE
C00086 00029	For deletion -del
C00088 00030	Research problems for students -TOPIC
C00089 00031	Patterns -pat
C00091 00032	Space -space
C00092 00033	unused
C00093 00034	References, bibliographies and lists of files -REF
C00094 00035	Epistemology -epist
C00096 00036	w79 files
C00102 00037	Spring 79 files
C00106 00038	e79 files
C00108 00039	Fall 79 files
C00111 00040	W80 files
C00117 00041	Spring 1980 files
C00121 00042	Summer 1980 files
C00126 ENDMK
C⊗;
Scientific Papers and drafts-SCI

KNOW[E78,JMC]		paper on Wise men and S and P using only posible worlds
CATALA[E78,JMC]		Catalan numbers from S = A + S x S
MODAL[S78,JMC] 30-Jun-78	EXPRESSION OF MODALITY IN FIRST ORDER LOGIC

LISP[F77,JMC] 11-Jun-78		HISTORY OF LISP
REF[F77,JMC] 04-Feb-78		References for lisp history
LISP.CDR[F77,JMC] 04-Feb-78	Hewitt on LISP history
ABSTRA[S78,JMC] 25-Apr-78	Abstract AI Memo with Sato et. al ??
MUSK[W78,JMC] 23-Jan-78		Addresses in Georgian Academy
COMMON[W78,jMC] 03-May-78	TOWARDS A SCIENCE OF COMMON SENSE
LISP.NOT[W78,JMC] 05-Mar-78	Answers to questionnaire on LISP history
CIRCUM[W78,JMC] 30-Jan-78	CIRCUMSCRIPTION INDUCTION draft early version
				- A WAY OF JUMPING TO CONCLUSIONS
FIRST.REV[W78,JMC] 20-Jan-78	Start on revision of Rec. Prog
				in 1st order logic
ADVENT[E77,JMC] 22-Jun-77	Notes on the improvement of the "Adventure Game".
IJCAI.C[E77,JMC] 02-Jul-78	1977 IJCAI paper
COUNTE[E77,JMC] 28-Jun-77	EXPLAINING COUNTERFACTUALS WITH CARTESIAN PRODUCTS
DOGMIN[E77,JMC] 29-Oct-77	THE MINDS OF DOGS
MINIMA[S77,JMC] 11-Jul-78	CIRCUMSCRIPTION INDUCTION 
				- A WAY OF JUMPING TO CONCLUSIONS
SATO[W77,JMC] 24-Feb-77		Introduction to paper with Sato, et. al.
CONDIT[W77,JMC] 28-Mar-77	CONDITIONAL EXPRESSIONS - for American
				Mathematical monthly
IJCAI.2[W77,JMC] 09-Apr-77	Early draft of IJCAI 77
MENTAL[F76,JMC] 05-Dec-77	ASCRIBING MENTAL QUALITIES TO MACHINES
CONCEP[E76,JMC] 01-Sep-77	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
APPLIC[E76,JMC] 20-Aug-76	APPLICATIONS TO ARTIFICIAL INTELLIGENCE (of concepts)
STATE[E76,JMC] 14-Jul-76	Propositions with quantifiers
TRULY[E76,JMC] 19-Sep-76	TRULY INVARIANT ASSERTIONS
SAMEFR[F76,JMC] 21-Jan-77	SIGART article about samefringe
MRHUG[S76,JMC] 13-Dec-76	AN EXAMPLE FOR NATURAL LANGUAGE UNDERSTANDING
KNOW.ART[F75,JMC] 18-Sep-77	AN AXIOMATIZATION OF KNOWLEDGE
				AND THE EXAMPLE OF THE WISE MAN PUZZLE
FIRST[F75,JMC] 25-Dec-75	FIRST ORDER LOGIC AND SET THEORY
				IN ARTIFICIAL INTELLIGENCE
RELATI.POX[CUR,JMC] 25-Sep-75	Relativistic Systems of Automata
PHIL[ESS,JMC] 23-May-75		McCarthy and Hayes with slight mods
RECUR.ART[ESS,JMC] 23-May-75	RECURSION - for Encyclopedia of Computer Science
ELEPHA[s80,JMC] 14-FEB-80	1980 revision of Elephant paper
LISP functions-LISP

patter[e80,jmc] 31-aug-80	Many versions of inst
LISP.LOR[S79,JMC] 22-Jun-79	Notes on the use of Maclisp
TFLAT.LSP[E78,JMC]	iterative trace function corresponding to flat[x,u]
SORT.LSP[W78,JMC] 08-Jan-78	LISP functions for sorting
CANTOR.LSP[W78,JMC] 29-Jan-78	Cantor ordering on ordinals less than ε0
EVAL2.LSP[W78,JMC] 29-Mar-78	Another eval
EVAL3.LSP[W78,JMC] 09-Mar-78	Yet another eval
INVERT.LSP[W78,JMC] 22-Mar-78	Inversion of LISP expressions
INVER2.LSP[W78,JMC] 19-Mar-78	Inversion of LISP expressions
NEWSUB.LSP[W78,JMC] 29-Mar-78	SUBLIS treating quantifiers specially
LAMBDA.LSP[W78,JMC] 29-Mar-78	LISP in λ-calculus
LIBRAR.LSP[W78,JMC] 30-Mar-78	LISP functions using generators of new states
PATTER.LSP[F77,JMC] 20-Nov-77	INST and SOLS
FLAT.LSP[F77,JMC] 13-Dec-77	Intensional functions related to flat
EVAL.LSP[F77,JMC] 13-Dec-77	Hewitt's eval
NORMAL.LSP[F77,JMC] 29-Dec-77	random lisp function
2P.LSP[W77,JMC] 24-Jan-77	Fredkin program for next larger prime
NEXSUB.LSP[F76,JMC] 05-Oct-76	inscrutable ILISP
READ.LSP[F76,JMC] 19-Sep-76	Read and Print functions - ILISP
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
INST2.LBK[F76,JMC] 08-Nov-76	Commutative and associate versions of INST
INST2.LSP[F76,JMC] 08-Nov-76	commutative and associative versions of INST
RULE.LSP[F76,JMC] 08-Nov-76	sample rules for TRANSFORM
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2.BB[F76,JMC] 07-Dec-76	commutative and associative
SAME.LSP[F76,JMC] 06-Feb-77	samefringe
INST2.PUB[F76,JMC] 07-Dec-76	Commutative and associative
SAME.PUB[F76,JMC] 13-Dec-76	samefringe
SAMEF[F76,JMC] 13-Dec-76	samefringe
SAME.FR[F76,JMC] 10-Dec-76	Someon's improved version
RESIDU.LSP[F76,JMC] 20-Jan-77	efficient version samefringe
RESIDU.PUB[F76,JMC] 16-Dec-76	
COMMON.LSP[F76,JMC] 16-Dec-76	Eliminates common subexpressions
HARRIN.LSP[F76,JMC] 23-Dec-76	Harrington's common subexpression eliminator
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
LISP2[W76,JMC] 20-Jan-76	LISP 2 SPECIFICATIONS
FIXUP2[F75,JMC] 28-Nov-75	Unknown LISP functions
FIXUP.LBK[F75,JMC] 20-Nov-75	LISP functions
FIX[F75,JMC] 20-Nov-75	LISP functions
FIXUP2.LBK[F75,JMC] 25-Nov-75	More functions
FIXUP[F75,JMC] 26-Nov-75	functions
reval.lsp[e80,jmc] 10-sep-80	commented maclisp Italian eval and friends
SPREAD[ESS,JMC] 17-Nov-75	A lisp function
TFLAT.LSP[E78,JMC] 11-Jul-78	Does a trace of flat[x,u]
TAK.LSP[E78,JMC] 01-Oct-78	The Takeuchi function and friends
COUNT.LSP[F78,JMC]	call-by-name calls counter
NEEDEV.LSP[F78,JMC]	call-by-need eval
PAT.LSP[F78,JMC]	obscure
QTAK.LSP[F78,JMC]	version of Takeuchi funtion
TAK.LSP[F78,JMC]	yet another qtak
TAK2.LSP[F78,JMC]	Takeuchi function
FOL axioms, proofs and papers -AXIOMS

KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
proposition,time)
CALIBA.AX[E78,JMC]	Caliban's will
SANDP2.AX[S78,JMC] 03-Jul-78	Axioms for Mr. S and Mr. P
SANDP.AX[S78,JMC] 26-Jun-78	Axioms for Mr. S and Mr. P
WISE3.AX[S78,JMC] 26-Jun-78	Axioms for 3 wiseman problem
WISE3.PRF[S78,JMC] 24-Jun-78	Proof of 3 wiseman problem
UNFAIT.AX[S78,JMC] 30-Jun-78	start on axiomatizing unfaithful wives
BLOCKS.AX[W78,JMC] 17-Jan-78	Axiomatization of world of 3 blocks
BLOCK2.AX[W78,JMC] 24-Jan-78	Axioms for 4 blocks
MOVOLD.AX[W78,JMC] 01-Feb-78	Axioms for moving
BLIROB.AX[W78,JMC] 09-Feb-78	More blind robot
MOVE.AX[W78,JMC] 09-Feb-78	More move axioms
ZF.AX[W78,JMC] 17-Mar-78	Axioms for Zermelo-Frankel
BLIOLD.AX[W78,JMC] 01-Feb-78	Blind robot axioms
INTEGE.AX[W78,JMC] 01-Feb-78	Axioms for integers
CORKY.AX[W77,JMC] 12-Jan-77	LISP axioms
COMPIL.AX[W77,JMC] 20-Jan-77	Axioms for McCarthy-Painter compiler
CORKY.PRF[W77,JMC] 11-Jan-77	Replacing CAR by car in append
LISP.AX[W77,JMC] 11-Jan-77	Lisp axioms
FUNDEF.AX[W77,JMC] 05-Feb-77	Function defs with CONS
CORKY2.AX[W77,JMC] 12-Jan-77	CAR and car
FLAT.PRF[W77,JMC] 13-Jan-77	Termination of flat
NEWFOL[W77,JMC] 13-Jan-77	Proposal for new FOL joint with IMSSS
CORKY2.PRF[W77,JMC] 12-Jan-77	Termination of append
LISP2.AX[W77,JMC] 06-Feb-77	LISP axioms
LISP3.AX[W77,JMC] 24-Jan-77	More LISP axioms
INTEGE.AX[W77,JMC] 13-Jan-77	integers
PRED.PRF[W77,JMC] 25-Jan-77	Proof that predecessor is total
INTEG2.AX[W77,JMC] 25-Jan-77	integer axioms
LISP4.AX[W77,JMC] 06-Feb-77	Somebody's (Richard's?) LISP axioms
				expressions.  Hurrah for abstract syntax
PUBTES[F76,JMC] 27-Oct-76	Test of macro for constructing conditional
LISP.AX[F76,JMC] 23-Nov-76	Total functions only
KNO.AX[E76,JMC] 03-Aug-76	Axioms with concepts
KNOJOE.AX[E76,JMC] 25-Jul-76	axioms with concepts
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
LIST.AX[F76,JMC] 26-Nov-76	Axioms for append and reverse assuming totality
APPNIL.PRF[F76,JMC] 25-Nov-76	u*NIL=u assuming totality
CONCEP.AX[S76,JMC] 03-Jun-76	NOtes for knowledge, can, causality axioms
KNOW.AX[S76,JMC] 05-Jun-76	Propositions are true in situations
EXTENS.AX[S76,JMC] 15-Jun-76	Extensional forms
CONCE2.AX[S76,JMC] 27-Jun-76	Axioms for concepts
TELLJO.AX[S76,JMC] 29-Jun-76	Joe does what he thinks will achieve his goals
CHECKE.AX[W76,JMC] 31-Jan-76	Axioms for mutilated checker board
HEAVY.SET[W76,JMC] 26-Jan-76	Notes on Heavy Duty Set Theory
HEAVY.AX[W76,JMC] 28-Jan-76	Heavy duty set theory
UNIT.PRF[W76,JMC] 22-Jan-76	The unit set is a set
Z2.AX[W76,JMC] 24-Jan-76	Axioms for integers
BLOCKS.AX[W76,JMC] 13-Feb-76	Old blocks axioms
HEAVY.THE[W76,JMC] 31-Jan-76	Theorems in heavy duty set theory
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
REV1.PRF[F78,JMC]	proof of properties of rev1
REVDIS.PRF[F78,JMC]	distributivity of rev1
TAK2.AX[F78,JMC]	axioms for Takeuchi function
TAK2.PRF[F78,JMC]	memo with proof of Takeuchi function
TAKEUC.AX[F78,JMC]	axioms for Takeuchi function
TAKEUC.PRF[F78,JMC]	proof of correctness of Takeuchi function
Not used

LISP book -BOOK

files[boo,jmc]			pub files for the book - formerly in Carolyn's
				areas
THEORY.NEW[W78,JMC] 21-Apr-78	New draft of theory chapter of LISP book
INTRO[W78,JMC] 20-Mar-78	Introduction for LISP book
INTRO2[W78,JMC] 20-Mar-78	Another draft of LISP book introduction
prefac[206,jmc] 06-Sep-80	Another draft of introduction
FIRST.QUE[W78,JMC] 17-Jan-78	Notes for Rec. Prog. in 1st order logic
IMPURE[F77,JMC] 15-Nov-77	IMPURE PROGRAMS AND UNCLEAN PROGRAMS
IMPLEM.LIS[F77,JMC] 08-Nov-77	Chapter on implementation of LISP
MCPAIN[F77,JMC] 23-Nov-77	Correctness of a Compiler for Arithmetic Expressions
ABSTRA[F77,JMC] 19-Nov-77	Abstract Syntax and the Correctness
				of a Compiler for Arithmetic Expressions
LISP.2[F77,JMC] 11-Nov-77	Additional chapters and sections to LISP book.
HARD.LSP[F77,JMC] 15-Dec-77	SOME DIFFICULT LISP PROBLEMS
MICRO[F77,JMC] 10-Mar-78	A MICRO-MANUAL FOR LISP - NOT THE WHOLE TRUTH
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MICROM[E77,JMC] 01-Jul-77	MICRO-MANUAL FOR LISP - MOSTLY TRUTHFUL%1
INFORM[E77,JMC] 05-Sep-77	Informal example of proof of program
APPEND[E77,JMC] 09-Sep-77	Putting FOL proofs in appendix
THEORY[S77,JMC] 10-May-77	Old draft of chapter 3
SAMEFR[S77,JMC] 02-Jun-77	%3correctness OF %2samefringe%1
PROGRA[F76,JMC] 29-Sep-76	.ss Numerical computation
CH1N2[E76,JMC] 10-Sep-76	Draft of chapter I
REPRES.ALT[E76,JMC] 10-Sep-76	Representation of LISP functions as lists.
PROGRA[E76,JMC] 26-Sep-76	Numerical and sequential programming
TRANS1.BB[F76,JMC] 03-Nov-76
SAME.VAR[F76,JMC] 09-Dec-76	Blackboard version of same
GAME.BB[F76,JMC] 03-Nov-76
TRANS2.BB[F76,JMC] 04-Nov-76
INST.BB[F76,JMC] 04-Nov-76
SEXP[F75,JMC] 05-Oct-75	Writing LISP programs as S-expressions
QUINE[S76,JMC] 26-Apr-76	Given termination tester,give counterexample.
ORDINA[E78,JMC] 29-Jul-78	Induction on rank and the transfinite ordinal numbers
ORDER.PRB[W79,JMC] 01-Jan-79	Programs and proofs about ordinals less than ε0.
BOOK[F78,JMC]			Goedel numbers for book
Articles -ART

ARTIFI.2[W78,JMC] 07-May-78	Collier's Encyclopedia article on AI
ARTIFI.3[W78,JMC] 09-May-78	Another draft of Collier's article on AI
ARTIFI[W78,JMC] 02-Apr-78	ARTIFICIAL INTELLIGENCE - for Collier's Enc.
HAUGEL.NOT[W78,JMC] 25-Jan-78	Notes on Haugeland paper
HAUGEL[W78,JMC] 03-Feb-78	Comments on John Haugeland's
CHROMA[W78,JMC] 28-Jan-78	ARCHAEOLOGICAL CHROMATOGRAPHY
REPLY[F77,JMC] 14-Oct-77	MAKING AN EFFECTIVE RIGHT OF REPLY
UNEMPL[F77,JMC] 08-Nov-77	Notes on unemployment
AFRICA[F77,JMC] 05-Nov-77	TOWARDS MEDIATION IN SOUTH AFRICA
ESCAPE[F77,JMC] 05-Nov-77	ESCAPING THE WELFARE STATE
PSYCHO[F77,JMC] 12-Nov-77	PSYCHOLOGICAL PHENOMENA IN POLITICS
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
COMPOL[S78,JMC] 19-May-78	COMPUTER AIDS TO IMPROVING POLITICS
POLITI[S78,JMC] 02-May-78	THE SEVEN LEVELS OF POLITICAL PARTICIPATION
ETHICS[S78,JMC] 24-May-78	POLITICAL ENTHUSIASM AND ENGINEERING ETHICS
CRASH[S78,JMC] 12-Jul-78	PROPOSAL FOR A STUDY OF A NATIONAL CRASH PROGRAM IN ENERGY
SOCIAL[W78,JMC] 12-Feb-78	Some notes on conservative view of social change
PROLIF[W78,JMC] 01-Apr-78	THE PRESENT DANGER OF NUCLEAR WAR
INDUST[W78,JMC] 06-Feb-78	Gloom about the post-industrial society
DEATH[E77,JMC] 02-Jul-77	THE DEATH PENALTY AND THE CONSTITUTION
POLITI[E77,JMC] 03-Sep-77	ENERGY AND POLITICS
CIRCUM[E77,JMC] 07-Oct-77	Circumstances, not personality determine behavior
SECESS[E77,JMC] 30-Jul-77	Could we secede from anti-technology
JUSTIC[E77,JMC] 05-Aug-77	Justice as right to emigrate
				Consequences of population stability
PREDAT[E77,JMC] 09-Aug-77	A PREDATORY CULTURE?
INTELL[S77,JMC] 16-Jun-77	NOTES ON INTELLIGENCE IN THE UNIVERSE
CARTER[W77,JMC] 02-Feb-77	A DEPRESSING SPEECH
BREEDE[W77,JMC] 15-Feb-77	The breeder and ideology - a bare start
WHATIF[W77,JMC] 17-Mar-77	ESCAPING THE COLLAPSE OF AMERICAN SOCIETY
HUMANI[F76,JMC] 26-Oct-76	COMPUTERS AND THE HUMANIZATION OF BUSINESS
HAPPIN[F76,JMC] 18-Oct-76	HAPPINESS IS A DUBIOUS CONCEPT
ESCAPE[E76,JMC] 19-Sep-76	ESCAPE FROM THE EARTH
REVOLU[E76,JMC] 21-Sep-76	THE REAL COMPUTER REVOLUTION
AFRICA[F76,JMC] 02-Dec-76	ON PREVENTING NUCLEAR WAR IN AFRICA
WOMEN[F76,JMC] 22-Dec-76	WOMEN IN SCIENCE, MATHEMATICS AND ENGINEERING
SFWA[S76,JMC] 14-Apr-76		Fine talk, but unfortunately not given that way.
COMMUN[S76,JMC] 27-Apr-76	WILL WEST EUROPEAN COMMUNISM BECOME STALINIST
TENURE[S76,JMC] 30-Apr-76	Justification of tenure system
OPTIM[F75,JMC] 20-Sep-75	THE SCIENTIFIC BASIS FOR TECHNOLOGICAL OPTIMISM
AAAS[W76,JMC] 20-Feb-76	The real computer revolution hasn't happened.
COMMUN[W76,JMC] 13-Feb-76	WHY THE COMMUNISTS CAN'T KEEP DEMOCRACY
				EVEN IF THEY SINCERELY THINK THEY WILL
KOREA[W76,JMC] 05-Apr-76	KOREA'S AMERICAN POLICY
HOTER.ESS[W76,JMC] 09-May-76	THE HOME INFORMATION TERMINAL
RESOUR[W76,JMC] 12-Mar-76	Importance of low grade ores
FREEDO[W76,JMC] 28-Mar-76	THREATS TO FREEDOM OF SCIENTIFIC INQUIRY
DEPEND[W76,JMC] 18-Aug-76	ENDING DEPENDENCE ON AMERICA
SUN.OUT[W76,JMC] 26-Feb-76	WHAT IF THE SUN WENT OUT
IJCAI.DOC[F75,JMC] 27-Oct-75	Requests for comments on IJCAI report
CPDUST[CUR,JMC] 02-Jan-75	COMMITTEE FOR PROMOTION AND DEFENSE
				OF USEFUL SCIENCE AND TECHNOLOGY
IDEOLO.ART[CUR,JMC] 18-Dec-74	ENERGY AND IDEOLOGY
SOCIAL.DEF[CUR,JMC] 04-May-78	THE DEFECTS OF SOCIALISM
LEADER.ART[CUR,JMC] 19-Dec-74	THE UNITED STATES SHOULD RESIGN AS LEADER
				OF THE FREE WORLD
IDEOLO[CUR,JMC] 21-Jul-75	THE THREADS OF LEFT-WING IDEOLOGY
ISOLAT.ESS[ESS,JMC] 26-Mar-75	THE CASE FOR ISOLATIONISM
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
REPLY[E78,JMC] 26-Jul-78	COMPUTER TECHNOLOGY AND THE RIGHT OF REPLY
ALGOL[E78,JMC] 15-Sep-78	The ALGOL committee changed its purpose
SLOW[E78,JMC] 20-Sep-78		WHY IS PROGRESS SO SLOW?
CONCEP[F78,JMC]			FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS
				AND PROPOSITIONS
AIM1.PUB[W79,JMC]	PREDICATE CALCULUS WITH "UNDEFINED" AS A TRUTH VALUE
				AI Memo 1
Quasar and other fakery -QUASAR

CATHY.QUA[F77,JMC] 07-Jan-78	Quasar stuff
QUASAR[S78,JMC] 15-Jun-78	STATEMENT ON THE STATE OF THE ART IN ROBOTICS
FAKE.LIS[F77,JMC] 21-Nov-77	Mailing list for quasar stuff
HARSH.QUA[F77,JMC] 01-Dec-77	Harsh version of CMU Quasar report
PRESS.QUA[F77,JMC] 01-Dec-77	STANFORD UNIVERSITY PRESS RELEASE
MESS.QUA[F77,JMC] 01-Dec-77	File of messages about Quasar
FAKE.MEM[F77,JMC] 14-Nov-77	Justification of press release
NYT.QUA[F77,JMC] 04-Dec-77	Klinefeld article on Quasar
QUASAR[F77,JMC] 21-Nov-77	Quasar promotional material
SWINDL[F77,JMC] 22-Nov-77	How Quasar might be making money
LADY.QUA[F77,JMC] 22-Nov-77	How to detect attempt to swindle
GMROB.QUA[F77,JMC] 22-Nov-77	GM report on Quasar
MORE.QUA[W77,JMC] 12-Feb-78	Quasar sentry from Popular Electronics
CSD affairs -CSD

phones.pty[inf,csd]
people.csd[dir,csd]
csd.bbd[inf,csd]

LISP.PRO[S78,JMC] 22-Apr-78	Memo on changing catalog description of LISP
course.
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
VERIFI[S78,JMC] 14-May-78	Propaganda for verification in CS education
MANNA.PR1[LET,JMC] 24-Apr-78	Long form for Manna
FILMAN.REC[F77,JMC] 13-Dec-77	Filman recommendation
AIQUAL[S77,JMC] 09-May-77	PREPARATION FOR AI QUAL
LSPLUG[W77,JMC] 09-Jan-77	Vaughan Pratt brief for LISP as teaching language
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
LSPLUG.DOC[W77,JMC] 13-Jan-77	Another version of the LISP plug.

SIGMA[W77,JMC] 07-Mar-77	Sigma Xi lecture topics
POLICY[W77,JMC] 07-Mar-77	AI Lab policy on CSD use
CSDDIS.DOC[206,JMC] 14-Nov-73	Departmental display system
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
MANNA.RE1[E76,JMC] 26-Jul-76	Justifying Manna as PI
LUCKHA.BLA[F75,JMC] 03-Oct-75	He should have PI status
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
AI2.QUA[ESS,JMC] 15-Feb-72	'72 AI Syllabus
AISY2.QUA[ESS,JMC] 12-Jan-72	'69 AI Syllabus
AISY69.QUA[ESS,JMC] 24-Jan-72	'69 AI Syllabus
AI72.QUA[ESS,JMC] 05-May-76	1972 AI Qual
Environment, etc. -ENV

HAYES.RE1[S78,JMC] 27-May-78	Criticism of conservation paper by Denis Hayes
SUNDAY[S78,JMC] 17-May-78	Sun Day and the ethical problems of scientist
and engineers
OPINIO[S78,JMC] 25-Jun-78	Opinion poll on prop. 13 - bulletin board
IDEOLO.ENE[F77,JMC] 08-Oct-77	ENERGY AND THE ANTI-TECHNOLOGY IDEOLOGY
SMOKE[F77,JMC] 30-Nov-77	WHY THE ANTI-SMOKING PETITION SHOULDN'T BE SIGNED
PANEL[S78,JMC] 18-May-78	Appropriate science - handout for panel
NLCPI[S77,JMC] 09-Jun-77	NOTES FOR NLCPI ACADEMIC ADVISORY COUNCIL MEETING
SHUTDO[S76,JMC] 08-Apr-76	If prop. 15 passes, the enviromentalists will be
				sorry.
SORRY[S76,JMC] 08-Apr-76	WHY THE ENVIRONMENTALISTS WILL BE SORRY
				IF THEY PASS PROPOSITION 15
ENERGY[W76,JMC] 16-Jan-76	AN ENERGY CRISIS IS COMING
IDEOLO[W76,JMC] 01-Feb-76	IDEOLOGY AND ENERGY
DAILY.ART[F75,JMC] 06-Dec-75	THE ACADEMIC COMMUNITY AND THE NEXT ENERGY CRISIS
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
QUOTES[ESS,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
Proposals -PROPOS

nsf[e80,jmc] 23-Aug-80		NSF proposal for basic research in AI (1980)
NSF[E77,JMC] 21-Apr-78		NSF proposal for Basic Research in AI
RENEW.PRO[W79,JMC] xx-apr-79	NSF proposal renewal for 2nd year
RENEW.PRO[W80,JMC] 15-MAR-80	NSF proposal renewal for 3rd year
PROOF.PRO[E78,JMC] 29-Jul-78	Proposal for CS206 proof-checker
RENEW[S78,JMC] 06-Jul-78	Proposal to renew Dialnet project
FR.NOT[S78,JMC] 04-Jul-78	leftovers on 1978 ARPA renewal proposal
NSF.NOT[E77,JMC] 11-Jul-77	Notes for Basic AI NSF proposal
NSF.ADD[E77,JMC] 07-Sep-77	Addendum to NSF Basic AI proposal
NEW.PRO[W77,JMC] 18-Mar-77	1977 proposal material
NEW1.PRO[W77,JMC] 18-Mar-77	1977 proposal
ARPA[W77,JMC] 12-Mar-77		Manna material for 1977 proposal
MTC.PRO[W77,JMC] 14-Mar-77	1977 MTC proposal material
OLD1.PRO[W77,JMC] 18-Mar-77	Material for 1977 proposal
CSDDIS.PRO[F76,JMC] 14-Jan-77	Departmental display system
RUSSEL.DIV[E76,JMC] 16-Aug-76	RUSSELL'S DIVISION OF ARPA ITP PROJECTS
CONCEP.ADV[E76,JMC] 26-Jul-76	ARPA RELEVANCE OF RECENT RESULTS ON CONCEPTS
REPORT[E76,JMC] 27-Jul-76	Report by Glassmire on FOL et. al.
ACCOMP[S76,JMC] 18-Jun-76	Accomplishments of AI Lab
CARLST.CON[W76,JMC] 09-Jan-76	Conversation with Carlstrom
IJCAI.ENQ[F75,JMC] 19-Sep-75	Request for advice on IJCAI-75 report
SURVEY.REQ[F75,JMC] 21-Oct-75	Request from Russell for survey articles
BELLNE.PRO[F75,JMC] 23-Sep-75	Early version of Dialnet proposal
ACCOMP[W76,JMC] 27-Feb-76	ACCOMPLISHMENTS IN FORMAL REASONING
BULLET[F75,JMC] 17-Oct-75	FORMAL REASONING
ARPA.PLN[F75,JMC] 22-Oct-75	FIVE YEAR PLAN FOR FORMAL REASONING (first draft)
OFFICE.PLN[F75,JMC] 23-Oct-75	ARPA INITIATED DOD STANDARDS ON OFFICE COMPUTER SYSTEMS
ARPMTC[CUR,JMC] 01-Mar-75	Answers to Licklider questions
REPRES.LIC[CUR,JMC] 10-Dec-74	THE FORMAL EXPRESSION OF HUMAN REASONING
REPRES.LI2[CUR,JMC] 09-Dec-74		Formal reasoning and MTC groups
RUSSEL.REQ[ESS,JMC] 19-Oct-75	Subject: OUTLINE OF PLANNED BASIC AI WORK
AI.HIS[ESS,JMC] 30-Dec-72	Justification of DoD support of AI
3D.NSF[ESS,JMC] 14-Nov-73	Proposal on 3-d drawings
ARPA.PUB[ESS,JMC] 24-Nov-75	1973 ARPA proposal
AUTDED[ESS,JMC] 19-Oct-75	Luckham for proposal
mtc -MTC

EXTENS[F77,JMC] 07-Oct-77	"#. Programs as objects and extensional forms."
BLOB[W76,JMC] 19-Feb-77		THE BLOB FUNCTIONS OF FLOW CHARTS
FIRST.NEW[W77,JMC] 23-Jun-78	REPRESENTATION OF RECURSIVE PROGRAMS
				 IN FIRST ORDER LOGIC
CORREC[S78,JMC] 28-May-78	STATING THE CORRECTNESS OF LISP PROGRAMS
INTENS[E78,JMC] 30-Jul-78	INTENSIONAL PROPERTIES OF RECURSIVE PROGRAMS
EXOTIC[W77,JMC] 13-Aug-77	EXOTIC CONTINUOUS FUNCTIONALS
NOTES[E78,JMC]/2p 30-Jul-78	iterativity is extensional in the functional
AIRLIN.MTC[ESS,JMC] 02-Dec-71 THE MCCARTHY AIRLINE RESERVATION SYSTEM
TAKEUC[E78,JMC] 28-Sep-78	AN INTERESTING LISP FUNCTION
TAKEUC.TEX[F78,JMC]	AN INTERESTING LISP FUNCTION - Takeuchi - TEX version
BEN[W79,JMC]		Suggestions for Ben Moszkowski on derived functions
CBN[W79,JMC]		Examples of call-by-name recursion counters.
cyclic[e80,jmc]		Induction principle for cyclic list structures
			re-entrant, reentrant
AI and philosophy study	-AIPHIL

AIPHIL.2[F77,JMC] 03-Nov-77	1979-80 STUDY OF ARTIFICIAL INTELLIGENCE
				AND PHILOSOPHY
AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
TRIP[S78,JMC] 16-Jun-78		prices for trip
KNOW.LST[S78,JMC] 04-Jun-78	People interested in knowledge
AIPHIL.2[S78,JMC] 26-May-78	Announcement of CASBS AI and philosophy study
NAME[ESS,JMC] 15-Sep-77		names of philosophers
AIPHIL.PRO[W79,JMC]		for CASBS Sloan proposal for AIphil
Reviews -REVIEW

BODEN.CRI[F77,JMC] 09-Oct-77	Boden's 1st book
DENNET.CRI[F77,JMC] 15-Oct-77	Dennet books and papers
BODEN2.CRI[F77,JMC] 24-Oct-77	Artificial intelligence and natural man
BACKUS[S78,JMC] 06-Jun-78	Remarks on a paper of Backus
WEIZEN[S78,JMC] 08-May-78	Counters to Weizenbaum comments on Future Study
HAUGEL.NOT[W78,JMC] 25-Jan-78	haugeland on cognitivism
HAUGEL[W78,JMC] 03-Feb-78	"The nature and problems of cognitivism"
OWL.NOT[E77,JMC] 28-Jun-77	Comments on Martin's OWL
BARAN.RE1[E77,JMC] 28-Aug-77	Communication and computation should be separate
COMMAN[E77,JMC] 11-Sep-77	Commentary on Command Neuron Idea
				for Behavioral and Brain Sciences
CGOL.GRU[W77,JMC] 05-Feb-77	GRUMBLES ABOUT CGOL
PRATT[W77,JMC] 05-Feb-77	Pratt reply to CGOL.GRU
FILMAN[W77,JMC] 07-Mar-77	Suggestions on Filman dissertation
SUPPES.LE1[LET,JMC] 17-Mar-77	Comments on Suppes's "From behaviorism to
				neobehaviorism
AI[W77,JMC] 01-Oct-77		Comments on "The State of Technology
				 in Artificial Intelligence" by
				Duda, Nilsson, and Raphael
BELL.MOR[W77,JMC] 27-Mar-77	More on Danel Bell
STUDY.FS[W77,JMC] 28-Mar-77	Comments for Future Study
LICKLI.MOR[W77,JMC] 27-Mar-77	More comments on Licklider paper
WINSTO[F76,JMC] 13-Oct-76	Comments on Winston's "Artifical Intelligence"
BOLLES[E76,JMC] 13-Sep-76	Comments on Bolles's dissertation
PREJUD[E76,JMC] 15-Sep-76	PREJUDICED ANALYSIS article in Creative Computing
COMMEN[S76,JMC] 11-May-76	For future study
WEIZEN.RE2[S76,JMC] 25-Oct-76	Physics Today review of Weizenbaum
MOORE[S76,JMC] 12-May-76	Comments on your draft dissertation proposal:
WEIZEN.RE3[S76,JMC] 27-Apr-76	Physics Today review
MORAVE[S76,JMC] 29-May-76	Comments on "The Role of RAW POWER
				in INTELLIGENCE" by Hans Moravec
III[S76,JMC] 07-Jun-76	III AND OFFICE AUTOMATION
KAHN.RE1[S76,JMC] 23-Jun-76	Kahn and Gorry - report
NEWBOR.REV[F75,JMC] 30-Sep-75	Computer Chess, Monroe Newborn
WEIZEN[W76,JMC] 19-Apr-76	AN UNREASONABLE BOOK
PARKER[W76,JMC] 27-Feb-76	Social Implications of Computer/Telecommunications
				Systems - Parker.
COUNTE[F75,JMC] 27-Sep-75	NOTES ON COUNTERFACTUAL CONDITIONAL, esp. Lewis
RYLE.REV[F75,JMC] 21-Oct-75	A little bit on Ryle
GILFIL.REV[F75,JMC] 01-Nov-75	Migration to the stars
POLEMI.MEN[F75,JMC] 05-Jan-76	With Taylor
NOTE.MJH[206,JMC] 07-Nov-73	Note to Marsha Jo Hanna suggesting correlation scale
LIGHT.RE5[ESS,JMC] 25-Jul-75	Lighthill review
DREYFU.REV[F78,JMC]	review of Dreyfus paper for IEEE
FINDLE.REV[F78,JMC]	comments on Findler proposal
CS206 -CS206

MIDTER.206[F77,JMC] 27-Oct-77	Fall 77 midterm
PROB.206[F77,JMC] 02-Nov-77	A DIFFICULT VERIFICATION PROBLEM
FINAL.F77[F77,JMC] 22-Jan-78	Fall 1977 final
TERM.206[S77,JMC] 12-May-77	TERM PROJECTS FOR CS206
PROBLE.206[S77,JMC] 18-May-77	Proof problems for CS206
FINAL.S77[S77,JMC] 08-Jun-77	CS206∂(30)FINAL EXAMINATION→SPRING 1977
PROB.206[W77,JMC] 06-Feb-77	Another problem
PROB1.206[W77,JMC] 07-Apr-77	Problem set to be done at LOTS
EXERCI.206[W77,JMC] 28-Mar-77		Notes for first exercise
TASK.TA[F75,JMC] 02-Oct-75	TASKS FOR THE TEACHING ASSISTANT IN CS206
NICK.FIL[F75,JMC] 30-Sep-75	This is a list of the files in 206,nxl.
TERMPA.206[F75,JMC] 25-Nov-75	Term papers for CS206
206JMC.ARC[206,LSP] 26-Jul-78	Carolyn's inventory of 206,jmc
Research notes -RESEAR

SOLVE[F77,JMC] 20-Nov-77	Note on the LISP inversion problem solver
NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
PROBLE[S78,JMC] 04-Jul-78	Features of proposed problem solver.
PATTER[S78,JMC] 23-Apr-78	Patterns in sequence solitaire
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
CONJEC[W78,JMC] 21-Apr-78	CONJECTURES ABOUT CONTINUOUS FUNCTIONS ON FLAT DOMAINS
RECURS.NOT[W78,JMC] 15-Mar-78	Expressing theorems about recursion in set theory.
ABSTRA[W78,JMC] 20-Mar-78	ABSTRACT SYNTAX
MISSIO[W78,JMC] 23-Mar-78	NOTES ON THE MISSIONARIES AND CANNIBALS
MAXIMA[W78,JMC]			Conjectures about a maximal consistent set theory
PERSON[W78,JMC] 06-Mar-78	Abstract for Jerusalem talk on personal computing
PUZZLE[W78,JMC] 29-Jan-78	Solution to a blocks construction puzzle
EPISTE.NOT[W78,JMC] 25-Feb-78	Reference on epistemology (production version)
NOTES[W78,JMC] 27-Feb-78	Reference on Gentzen axioms for modal logic
IJCAI.NOT[E77,JMC] 23-Jun-77	Notes for 1977 IJCAI paper, more ideas than appeared
PARADO[E77,JMC] 12-Jul-77	Notes on paradoxes and self-application
NOTEBO.OK[S77,JMC] 05-Jun-77	Knowledge, political statements by scientists
				and applications of circumscription
CHALLE[S77,JMC] 30-May-77	Debate challenge to Weizenbaum - not sent
PROBLE.AI[S77,JMC] 17-Jun-77	Open problems of AI
SUBGOA[W77,JMC] 04-Feb-77	Minimization schema and subgoal induction
TRADE[W77,JMC] 25-Jan-77	THE TRADERS - AN EXAMPLE OF ASYNCHRONOUS ACTIONS
RECURS[W77,JMC] 28-Jan-77	DESCRIBING RECURSIVE FUNCTIONS IN FIRST ORDER LOGIC
PHILOS[W77,JMC] 05-Feb-77	MODELS OF EPISTEMOLOGICAL SYSTEMS
DERIVE[W77,JMC] 10-Feb-77	Derived Functions
FIRST.MOR[W77,JMC] 07-Apr-77	Second order schemata
REPRES[W77,JMC] 11-Feb-77	A NATURAL REPRESENTATION of recursive functions
COUNTE[W77,JMC] 24-Feb-77	COUNTERFACTUALS
				, CARTESIAN PRODUCTS AND APPROXIMATE THEORIES
NAIVE[W77,JMC] 02-Mar-77	A SOPHISTICATED THEORY OF NAIVE LANGUAGE
CONTIN[W77,JMC] 18-Mar-77	CONTINUOUS FUNCTIONALS AND THEIR LEAST FIXED POINTS
HARDWA[W77,JMC] 20-Mar-77	HARDWARE PERFORMANCE PROBLEMS OF
SAMEFR.RE1[W77,JMC] 22-Mar-77	reply to Burger
				 TIME-SHARED COMPUTERS
NOTES[E76,JMC] 15-Aug-76	More notes on motivation.
IDEA[E76,JMC] 13-Jul-76		Two tiny cryptic ideas
IGNORA[E76,JMC] 14-Sep-76	ANOTHER APPROACH TO IGNORANCE - Goad's
CONCEP.NOT[E76,JMC] 22-Nov-76	Some ideas about concepts
CONCEP.SUP[E76,JMC] 20-Aug-76	PHILOSOPHICAL REMARKS
MEANIN[F76,JMC] 23-Nov-76	Meanings as inverse limits
OWE[F76,JMC] 03-Dec-76		ABOUT OWING; it isn't necessarily a mental concept
MENTAL.NOT[F76,JMC] 06-Aug-77	Addenda to MENTAL
MENTAL.1[F76,JMC] 23-Dec-76	Notes
MENTAL.2[F76,JMC] 08-Jan-77	notes for mental
METAPH[F76,JMC] 29-Dec-76	Notes on Metaphysics, local situations
MENTAL.3[F76,JMC] 29-Jul-77	notes for MENTAL
CARTES[S76,JMC] 29-Apr-76	CARTESIAN PRODUCT SEARCH SPACES, not much
PROBLE[S76,JMC] 12-May-76	A Classification of Problems in AI
CONTEX[S76,JMC] 24-Jul-76	CONTEXT DEPENDENT SEMANTICS
MOTIV2.MEN[S76,JMC] 02-May-76	Peculiarities of human motivation
EXTENS[S76,JMC] 30-Jun-76	EXTENSIONAL FORMS
				ABSTRACT FORMS - abstract synt + ext forms
FREGE[W76,JMC] 14-Jan-76	REHABILITATING FREGE
TASKS.SET[W76,JMC] 24-Jan-76	Getting good set theory in FOL
KNOW[W76,JMC] 30-Mar-76		KNOWLEDGE OF TELEPHONE NUMBERS
SEARCH[W76,JMC] 28-Mar-76	FINITE STATE SEARCH PROBLEMS
AI[F75,JMC] 25-Sep-75		General article on AI
AUTOMA.2[F75,JMC] 11-Dec-75	CONCEPTS DEFINED RELATIVE TO A THEORY
DEFINE[F75,JMC] 10-Oct-75	ASCRIPTIVE DEFINITIONS - just a fragment
GENERA[F75,JMC] 12-Oct-75	THE EPISTEMOLOGY OF GENERAL INTELLIGENCE
PHIL.ART[F75,JMC] 15-Oct-75	ascription, relative definition, etc.
CHESS.NOT[F75,JMC] 28-Nov-75	NOTES ON CHESS PROGRAMMING
MENTAL.SUP[F75,JMC] 03-Dec-75	More notes for MENTAL
MENTAL.NOT[F75,JMC] 21-Mar-76	more notes
SELFCO.MEN[F75,JMC] 01-Jan-76	More notes for MENTAL
WISEMA[F75,JMC] 03-Dec-75	ANOTHER FORMALIZATION OF THE WISE MAN PUZZLE
MOTIVA.MEN[F75,JMC] 08-Dec-75	ON MOTIVATIONAL STRUCTURES - ESPECIALLY HUMAN
CELLUL.MEN[F75,JMC] 27-Dec-75	notes for MENTAL
AUTOMA[F75,JMC] 11-Dec-75	NOTES ON AUTOMATA AND ARTIFICIAL INTELLIGENCE
NOTE1.MEN[F75,JMC] 24-Jan-76	Non-positivist
FINITI[F75,JMC] 30-Dec-75	FINITIZATION OF THEORIES (A research topic)
CBCL[F75,JMC] 24-Jan-76		THE COMMON BUSINESS COMMUNICATION LANGUAGE
EPISTE.MEN[F75,JMC] 11-Jan-76
OBSERV.MEN[F75,JMC] 01-Jan-76	Draft of section
RELDEF.MEN[F75,JMC] 26-Dec-75	Probably incorporated in text
MOTIV.MEN[F75,JMC] 19-Apr-76
CONTEN.MEN[F75,JMC] 01-Jan-76	The original plan of the paper
NOTE.MEN[F75,JMC] 19-Feb-76	Probably not superseded by the paper
AI.MEN[F75,JMC] 07-Jan-76	Probably included in text
CHANGE.MEN[F75,JMC] 21-Apr-76	Probably included
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
ECON.NOT[CUR,JMC] 01-Feb-75	What we need to know about economics
PHIL[CUR,JMC] 16-Feb-75	PHILOSOPHICAL PRINCIPLES OF ARTIFICIAL INTELLIGENCE
COMMON[CUR,JMC] 02-Jan-75	Common sense and computers
CHESS1[CUR,JMC] 05-Sep-74	Inference and observation
COMMON.MEN[ESS,JMC] 11-Jan-76	TOWARDS A SCIENCE OF COMMON SENSE
AI2.ESS[ESS,JMC] 26-Mar-75	STRUCTURE OF THE AI PROBLEM
CODE.PRO[ESS,JMC] 17-Sep-74	encipherment scheme
SUPERW[E78,JMC] 17-Sep-78	SUPERWOLF - A TEST OF EVOLUTION
CHERNI.RV1[F78,JMC]		THE ROSENBLOOM FALLACY
S1 -S1

WOOD[F77,JMC] 04-Dec-77		Notes on discussion with Lowell Wood
COMMAN.S1[W78,JMC] 28-Mar-78	NOTES ON THE COMMAND LANGUAGE FOR THE S-1
MACHIN[F75,JMC] 17-Dec-75	SOME PREJUDICES ON NEW MACHINE DESIGN
Miscellaneous -MISC

PEOPLE.DAT[PER,CSD]		The department phone and address list
LIB.LST[pub,pat]		Catalog of my library at Lab

loser[w80,jmc] 19-mar-1980	WSJ on IRS making citizens do its data processing
TRAVEL.REQ[W77,JMC] 10-Mar-77	1977 trip travel plan
LIST[S76,JMC] 06-Jun-76		Wedding reception invitees
RICHAR[F77,JMC] 02-Nov-77	Issues concerning FOL
BLACKL.IST[F77,JMC] 05-Nov-77	    Universities tolerating lecture disruption
				and other bad guys
TASKS[E77,JMC] 28-Jul-77	Summer 1977 tasks
FOL.COM[W76,JMC] 17-Jan-76	Note about mods to FOL
PDP10[W76,JMC] 22-Jan-76	USE OF THE STANFORD AI LAB TIME-SHARING SYSTEM
IBM[W76,JMC] 01-Mar-76	Computer profession's interest in IBM antitrust case
AICIRC.ABS[CUR,JMC] 07-Feb-75	EPISTEMOLOGY, FORMAL REASONING AND AI
SCIP[CUR,JMC] 19-Mar-75		Comments on SCIP report
ADFECT[ESS,JMC] 31-Mar-76	Def of "adfected"
ECHO.FAI[206,JMC] 05-JAN-71	FAIL exercise for echo
SAYING[F76,JMC] 24-Oct-76	I am he, who is not afraid to look in the corners.
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
APHOR.AI[CUR,JMC] 29-Jan-75	A few aphorisms
FACTS[ESS,JMC] 27-Jun-78	Miscellaneous useful facts
error[w80,jmc] 8-Mar-80	Some common misused words
QUOTES[F78,JMC] 15-Oct-78	Some interesting quotations
SERIAL[ESS,JMC] 06-Jan-76	Serial numbers of property and other facts
MONEY[ESS,JMC] 21-Mar-77	BALANCES IN JMC UNRESTRICTED ACCOUNTS March 21, 1977
NOTES[ESS,JMC] 11-Jul-78	Miscellaneous notes
SQUISH.E[ESS,JMC] 04-May-78	How to squish mail
IMLFIX[ESS,JMC] 16-Jan-77	apparently when system forgets tty15
NAMES[ESS,JMC] 29-May-73	names and addresses and phones
PUZZ.DDG[ESS,JMC] 19-Oct-75	Solution to random puzzle
LIVERM.F4[ESS,JMC] 07-Dec-76	Fortran program used to test T.S speed
REGIST[ESS,JMC] 29-Aug-73	1973 ijcai registrants
AAAS.PRO[ESS,JMC] 02-Oct-74	Proposal for AAAS symposium on cars
TRIP.E78[E78,JMC] 30-Jul-78	schedule for round world trip
COLDES[E78,JMC] 31-Jul-78	notes on Coldest Winter in Peking
TOUR[S78,JMC] 14-Jun-78		description of offered lectures
TRIP[E78,JMC] 02-Aug-78	Round the world in 1978
MTCPUB.PUB[LET,JMC] 14-Jan-79	Additional pub definitions for MTC and Lisp
MEMO[E78,JMC] 30-Jul-78	A version of memo.pub[let,jmc]
TASKS[E78,JMC] 14-Sep-78	September 1978 tasks
ASIA[E78,JMC] 15-Sep-78	 Asia Summer School on Artificial Intelligence
TRIP.REP[E78,JMC] 18-Sep-78	COMPUTER SCIENCE IN THE FAR EAST
CHORES[LET,JMC]	07-Dec-78	Chores for helper
TRIP[LET,JMC]	07-Dec-78	Checklist for trips
SKI[LET,JMC] 10-Dec-78		Checklist for ski trips
PERIOD[LET,JMC] 12-Dec-78	Periodical subscriptions
INFO[LET,JMC] 30-Dec-78		Information file in 2nd drawer left cabinet home
ONEJMC[LET,JMC] 31-Dec-78	List of files that were in [1,jmc]
BILLS[LET,JMC] 27-Jan-79	Bills received and paid
MONEY[LET,JMC] 02-Feb-79	Checks received and deposited.
NOTES[LET,JMC] 10-Apr-79	Index to notes on paper in chrono file
ESTATE[F78,JMC]		notes on Vera estate
INTRO[F78,JMC]		ANNAPURNA TAPE DIARY
PHON1[F78,JMC]		phones and addresses of Vera relatives
VERA[F78,JMC]		remembrances
Political action - ACTION

LERNER[S78,JMC] 31-May-78	Poster for Sonya Lerner talk
DEAL[E78,JMC] 16-Jun-77	A PROPOSAL TO TRADE A COMPUTER
			FOR THE DISSIDENTS AND REFUSENIKS
PRESSU[W77,JMC] 29-Jan-77	A RATIONALE FOR MORAL PRESSURE ON THE SOVIET UNION
IJCAI.REP[F75,JMC] 15-Jul-78	Lerner in Tblisi
NLCPI[F76,JMC] 30-Nov-76	American technologist, prospects for technology
SCIENC[F76,JMC] 30-Nov-76	Notes on biases of Science magazine
KELDYS.LE1[ESS,JMC] 09-Jul-75	About lerner
POSTER[E78,JMC] 31-Jul-78	NUCLEAR AND OTHER HAZARDS
Slides for lectures -SLIDES

CIRCUM.SLI[S78,JMC] 		Slides for circumscription lecture
LISP2.SLI[S78,JMC] 26-May-78	Slides for LISP history lecture
LISP.SLI[W78,JMC] 10-Mar-78	Slide ideas of LISP history
IJCAI.SLI[E77,JMC] 17-Aug-77	Slides for IJCAI 1977
Essays in Science and Technology -ESS

ess.msg[ess,jmc] 1980-may-26	Messages for inclusion in technology essays
TITLE.ESS[ESS,JMC]
CONTENT.ESS[ESS,JMC]
CHAP1.ART[ESS,JMC] r-apr-79	IN DEFENSE OF SCIENCE AND TECHNOLOGY
CHAP2.ART[ESS,JMC] r-apr-79	IS THERE ANYTHING USEFUL LEFT TO INVENT?
CHAP3.ART[ESS,JMC] r-apr-79	RESOURCES FOR THE FUTURE
INTRO2.ESS[ESS,JMC] R-apr-79	INTRODUCTION TO TECHNOLOGY DRAFTS
SUMMAR.ESS[W78,JMC] 21-Apr-78	WHAT CAN TECHNOLOGY BASED ON PRESENT SCIENCE
				DO FOR THE AMERICAN MIDDLE CLASS
TECHNO.ESS[ESS,JMC] r-apr-79	NEW GOALS FOR TECHNOLOGY
TCLUB.ESS[ESS,JMC] r-apr-79	STANFORD TECHNOLOGY CLUB - A PROSPECTUS
STYLE.ESS[ESS,JMC] r-apr-79	TOWARDS AN INTELLECTUALLY HONEST STYLE
SOCIAL.ESS[ESS,JMC] r-apr-79	SOCIAL VIEWS - this one may be best
PURPOS.ESS[E76,JMC]		Human welfare is the ability to fulfill human
				purposes.
GOALS.ESS[S76,JMC] 26-Jun-76	Human goals - People live for a while and then
				die.
GOAL.ESS[E76,JMC] 08-Aug-76	List of concrete goals like reducing housework
PREFAC.ESS[E76,JMC] 08-Aug-76	Social welfare is individual goal achievement
HISTOR.ESS[E76,JMC] 08-Aug-76	WHAT HAVE WE DONE WITH OUR TECHNOLOGY?
STANDA.ESS[ESS,JMC] 26-Mar-75	THE AMERICAN STANDARD OF LIVING history
POLIT.ESS[ESS,JMC] 26-Mar-75	ON POLITICS as menaces rather than opportunities
ISSUES.ESS[S76,JMC] 05-Jul-76	Some issues to face (just one now)
CONTR2.ESS[ESS,JMC] 26-Mar-75	TOWARDS A SOCIAL CONTRACT
CONTRA.ESS[ESS,JMC] 26-Mar-75	THERE SHOULD BE A SOCIAL CONTRACT	
ENHANC.ESS[ESS,JMC] 26-Mar-75	THE ENHANCEMENT OF THE INDIVIDUAL
IDEOLO.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - what about unscientific
				social decisions
ECO.ESS[ESS,JMC] 26-Mar-75	WORRIES ABOUT THE ENVIRONMENTAL MOVEMENT
IRRATI.ESS[S78,JMC] 27-Jun-78	TOWARDS A LOGICAL THEORY OF HUMAN IRRATIONALITY
INTRO.ESS[ESS,JMC] 21-Jan-78	TECHNOLOGY AND THE ENHANCEMENT OF MAN
BENEFI.ESS[ESS,JMC] 12-Feb-78	THE SOCIAL BENEFITS OF NEW TECHNOLOGY
BASIC.ESS[ESS,JMC] 10-Jun-74	BASIC SCIENCE AND BASIC TECHNOLOGY
TECIND.ESS[ESS,JMC] R-May-79	Proposal for research to enhance the individual
INDIV.ESS[ESS,JMC] 26-Mar-75	How technology has enhanced individuality
TWOMOD.ESS[ESS,JMC] 26-Mar-75	TWO MODELS OF POLITICAL ECONOMY
EQUAL.ESS[ESS,JMC] 26-Mar-75	THE LIMITS OF EQUALITY
STAN.ESS[ESS,JMC] 26-Mar-75	THE GOALS OF THE UNIVERSITY
				AND THE GOALS OF ITS INHABITANTS
ADHOM.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY AND IDEOLOGY - AD HOMINEM REMARKS
REMARK.ESS[ESS,JMC] 26-Mar-75	A few remarks, ad hominem
ECON.ESS[ESS,JMC] 26-Mar-75	SOME ECONOMIC PROPOSITIONS
CULTUR.ESS[ESS,JMC] 26-Mar-75	GRUMBLES ABOUT PRESENT AMERICAN STATE OF MIND

SHOCK.ESS[ESS,JMC] r-apr-79	FUTURE SHOCK
PLANE.ESS[ESS,JMC] r-apr-79	COMPUTER CONTROLLED AIRPLANES
OBJEC.ESS[ESS,JMC] r-apr-79	MATHEMATICS AND OBJECTIVITY IN HUMAN AFFAIRS
MONOP.ESS[ESS,JMC] r-apr-79	MONOPOLIES IN HOME COMPUTER SERVICES anti-cable
LONG.ESS[ESS,JMC] r-apr-79	LONG RANGE CONSIDERATIONS
WOMEN.ESS[ESS,JMC] R-apr-79	Technology and women's liberation
flexib.ess[ess,jmc] 20-jan-80	The importance of flexible technology
women2.ess[ess,jmc] 20-jan-80	Technology and women's liberation
				(more about technology than sociology)
planni.ess[ess,jmc] 20-jan-80	The immorality of the public policy community
HOTER.ESS[ESS,JMC] r-apr-79	THE HOME INFORMATION TERMINAL
EARLID.ESS[ESS,JMC] r-apr-79	EARLIDS
DIG.ESS[ESS,JMC] r-apr-79	Proposal for research in remote tunneling
DELIV.ESS[ESS,JMC] r-apr-79	 AUTOMATIC DELIVERY SYSTEM
ENERGY.ESS[ESS,JMC] R-Apr-79	FUTURE ENERGY REQUIREMENTS - A POSITION PAPER
ENERGY.PRO[ESS,JMC] R-Apr-79	1973 energy plan
MICRO.ESS[ESS,JMC] 26-Mar-75	REQUIREMENTS FOR A MICRO-ECONOMY
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
CARDEF.ESS[ESS,JMC] 26-Mar-75	Hitchhiking Si! Car pooling No! 
CRACK.ESS[ESS,JMC] 26-Mar-75	WISECRACKS
SLOGAN.ESS[ESS,JMC] 26-Mar-75		SLOGANS ABOUT TECHNOLOGY
SHORT.ESS[ESS,JMC] 26-Mar-75	SHORT REMARKS IN SUPPORT OF SLOGANS
GROWTH.ESS[ESS,JMC] 26-Mar-75	ON LIMITS TO GROWTH
UNDER.ESS[ESS,JMC] R-apr-79	U.S. RESPONSIBILITY FOR UNDERDEVELOPED COUNTRIES
INDIA.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT
INDIA2.ESS[ESS,JMC] 26-Mar-75	WHAT IF INDIA DOESN'T MAKE IT

RACKET.ESS[ESS,JMC] 26-Mar-75	A SURVEY OF FEATHERBEDDING, ESPECIALLY WHITE COLLAR

PRODUC.ESS[ESS,JMC] 04-May-78	TECHNOLOGY FOR IMPROVING PRODUCTIVITY
BLACKH[S77,JMC] 22-May-77	BLACK HOLE ROCKET SHIPS
GALAXY[S77,JMC] 29-May-78	INTERSTELLAR TRAVEL WITH 20TH CENTURY TECHNOLOGY
POLITI.ESS[F76,JMC] 03-Nov-76	"CAN TECHNOLOGY IMPROVE POLITICS?"
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
POLICE.ESS[ESS,JMC] 26-Mar-75	THE POLICE AS GLADIATORS
CAR.ESS[ESS,JMC] 08-May-75	COMPUTER CONTROLLED CARS
STAN2.ESS[ESS,JMC] 26-Mar-75	MAKING STANFORD A BETTER PLACE TO LIVE
MINSKY[ESS,JMC] 26-Feb-76	Encouragement of view on cars
HOTER.PUB[ESS,JMC] 09-Mar-73	THE HOME INFORMATION TERMINAL - old version
CAR2.ESS[ESS,JMC] 26-Mar-75	IN DEFENSE OF THE AUTOMOBILE
AAAS[ESS,JMC] 28-Mar-73		ideas for AAAS symposium
AI.ESS[ESS,JMC]		THE PRESENT SCIENTIFIC SITUATION IN ARTIFICIAL
			INTELLIGENCE
SPORT.ESS[ESS,JMC] 26-Mar-75	A NEW SPORT - flying in a vertical wind tunnel
CRIME.ESS[ESS,JMC] 26-Mar-75	TECHNOLOGY, CRIME, AND CIVIL LIBERTIES
HOUSE.ESS[ESS,JMC] 26-Mar-75	FURTHER MECHANIZATION OF HOUSEWORK

TOPIC.ESS[ESS,JMC] 26-Mar-75	Notes for small essays.
HOW.ESS[ESS,JMC] 04-May-78	HOW ARE ALL THESE GOOD THINGS TO COME ABOUT?
DBACOM.ESS[ESS,JMC] 26-Mar-75	Reply to Bruce Anderson comments on essays
DISAPP[E78,JMC] 01-Aug-78	Disappointment with rate technological progress
INVENT[E78,JMC] 01-Aug-78	minor inventions
CHICAR.ESS[ESS,JMC] r-apr-79	THE CHINESE CAN SO HAVE CARS r-apr-79		ECON.ESS[ESS,JMC]
ALL[ESS,JMC] 21-Apr-73		list of files - some don't exist
ESS.ESS[ESS,JMC] 26-Mar-75	ESSAYS IN PROCESS
CS226 -CS226

LECTUR.F9[W78,JMC] 09-Feb-78	Notes for CS 226 lecture
MONBAN[W78,JMC] 19-Feb-78	Vaughan Pratt version of Monkey and Bananas
NOTES.226[F75,JMC] 08-Jan-76	Notes on CS226 - 1st two lectures
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
				collaboration of robots in construction;
				doesn't say anything about blocks
CATALO[S78,JMC] 28-Apr-78	New catalog descriptions of my courses
PLAN.226[E78,JMC] 29-Jul-78	Plans for teaching CS226
puzzle[w78,jmc]
blocks.not[w78,jmc]
blocks[e80,jmc]

See also epistemology papers page 35
plan.226[e78,jmc]/2p		Blocks is key initial topic
DRAFTS -DRAFTS

IJCAI.A[E77,JMC] 23-Jun-77	Early draft 1977 IJCAI
IJCAI.F[E77,JMC] 26-Jun-77	Draft of 1977 IJCAI paper
IJCAI.E[E77,JMC] 24-Jun-77	Draft material for 1977 IJCAI
IJCAI.G[E77,JMC] 30-Jun-77	Notes for 1977 IJCAI
MODEL.PUB[S77,JMC] 09-Aug-77	Intro to paper with Sato, et. al.
Other people's papers -OTHERS

LISP2[E77,JMC] 01-Jul-77	Pratt's article on LISP
LSPLUG.PUB[W77,JMC] 17-Jan-77	Vaughan Pratt plug for LISP
CGOLMA[W77,JMC] 10-Feb-77	CGOL manual
MODPRO.PRA[W77,JMC] 06-Feb-77	Pratt proposal for dynamic logic proof checker
OBVIOU[W76,JMC] 26-Jan-76	Richard on what's obvious in set theory
ITER[ESS,JMC] 27-Mar-77		Iteration in LISP - Probably Pratt proposal
nuclear -NUCLEA

MISTAK[E77,JMC] 04-Aug-77	YOU ARE MAKING A MISTAKE
OPTION[E77,JMC] 03-Aug-77	Other people's energy options
News stories -NS

ELECTR.NS[W77,JMC] 03-May-77	Electronic mail
MAIL.NS[W77,JMC] 28-Jan-77	Electronic mail
VIETNA.NS[W77,JMC] 28-Jan-77	refugees
POSTAL.NS[W77,JMC] 29-Mar-77	Future of Post Office
MAIL.NS[E76,JMC] 06-Aug-76	Electronic mail
STANFO.NS[E76,JMC] 08-Aug-76	Parapsychology and fraudulent bankruptcy
MAIL.NS[S76,JMC] 19-Jun-76	Electronic mail
TENZIN.1[ESS,JMC] 16-Feb-76
PERSEP.NS[206,JMC] 16-APR-77
CAMBOD.NS[206,JMC] 16-APR-77
DISINF.NS[ESS,JMC] 14-May-78	disinformation
NEPAL.NS[ESS,JMC] 07-Aug-76	Perhaps they'll want these later
FREEWA.NS[ESS,JMC] 25-Nov-77	China will build freeways
KITT.NS[ESS,JMC] 22-Oct-76	Cousin Gilbert
PACKAR.NS[ESS,JMC] 11-Nov-76	Committee on the present danger
COMPUT.NS[ESS,JMC] 09-Nov-77	Home computers
VIETNA.NS[ESS,JMC] 11-May-78	About refugees mostly
WORKER.NS[ESS,JMC] 29-Dec-77	Soviet free trade union
NUCLEA.NS[ESS,JMC] 08-Feb-78	INSIDE REPORT: Jerry's Next Vietnam
ANTISC.NS[ESS,JMC] 12-Feb-78	Rowan believes that arms race starts with scientists
LEGAL.NS[ESS,JMC] 12-Feb-78	NLCPI and friends
BIONIC.NS[ESS,JMC] 29-Mar-78	Proxmire attack on walking robot
SUN.NS[ESS,JMC] 16-Apr-78	Sun Day
SUNDAY.NS[ESS,JMC] 02-May-78	Sun Day - government drivel
BUDGET.NS[ESS,JMC] 13-Sep-77
FACE.NS[ESS,JMC] 15-Sep-77	facts about face lifts - for Vera
VIET.NS[E78,JMC] 01-Aug-78	About outfit that supplies boats
ANNAPU.NS[E78,JMC] 13-Sep-78	News stories
AI Lab	-LAB

DATADI[E76,JMC] 27-Jul-76	PRIORITY SYSTEM FOR DATA DISC CHANNELS
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
POLICY.AIL[ESS,JMC] 19-Sep-71	PROPOSED PERSONNEL POLICY FOR THE STANFORD
				ARTIFICIAL INTELLIGENCE LAB
AILAB.AIL[ESS,JMC] 15-Feb-72	Catalog description of the Lab
AD.NET[ESS,JMC] 14-May-72	Descripition of Lab for Network Handbook
AILAB.BLA[ESS,JMC] 16-Dec-75	old version, I hope
Problem solving -PROBLE

PRBSLV.TXT[1,LDC]	Creary problem solver proposal
For deletion -del

Research problems for students -TOPIC

WADLER[W76,JMC] 12-Apr-76	Comments and suggested research
MINIMA[F75,JMC] 31-Dec-75	MINIMAL MODELS (research topic)
THESIS[F75,JMC] 31-Jul-78	NOTES ON RESEARCH TOPICS, ESPECIALLY FOR THESES
UTILI.AIL[F75,JMC] 06-Jan-76	SOME PROGRAMMING TASKS
BLOCKS.226[F75,JMC] 07-Jan-76	PROBLEMS WITH THE BLOCKS WORLD
TECHNI.MEN[F75,JMC] 10-Feb-76	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
AJT.MEM[ESS,JMC] 15-Feb-72	AI and psychological experiments
QUERY[E78,JMC] 23-Jul-78	Research questions, not for theses
COREWA[S77,JMC] 13-Jun-77	CORE WAR
Patterns -pat

PATTER.2[F75,JMC] 10-Mar-78	WHAT IS A PATTERN?
PATTER.AI[F75,JMC] 10-Mar-78	WHAT IS A PATTERN? updated july 1980
PATTER[F77,JMC] 10-Mar-78	PATTERN DIRECTED COMPUTATION AND PROBLEM SOLVING
MATCH.LSP[F76,JMC] 08-Nov-76	INST followed by assignments to vars in pattern
PATTER.LSP[F77,JMC] 20-Nov-77	INST and SOLS
INST2.LSP[F76,JMC] 08-Nov-76	commutative and associative versions of INST
INST2.MLS[F76,JMC] 02-Dec-76	Commutative and associative INST
INST2.PUB[F76,JMC] 07-Dec-76	Commutative and associative; just the bb program
INST3.LSP[F76,JMC] 27-Dec-76	INST with alists (plural)
INST4.LSP[F76,JMC] 27-Dec-76	instval and instvar
SOLVE.LSP[F76,JMC] 27-Dec-76	just a start on problem solver
PATTER[S78,JMC] 23-Apr-78	Patterns in sequence solitaire
PATTER.NOT[W78,JMC] 26-Mar-78	notes for patterns in logic paper
Space -space

CYCLOP[F75,JMC] 17-Nov-75	Interstellar communication and migration
TABLE[F75,JMC] 19-Nov-75	s(light years)	p(watts/kg)	Tcont(years)	T1(years)
INTERS[F75,JMC] 13-May-77	THE FEASIBILITY OF INTERSTELLAR TRAVEL
SPACE1.ESS[ESS,JMC] 26-Mar-75	SPACE AS A FRONTIER
EASTRO.ART[ESS,JMC] 29-Oct-75	THE FEASIBILITY OF INTERSTELLAR TRAVEL
PRISPA.ESS[ESS,JMC] 26-Mar-75	THE PROSPECTS FOR A PRIVATE SPACE PROGRAM
SPACE[S78,JMC] 29-May-78	List of proposed articles on space
unused
References, bibliographies and lists of files -REF

AIPHIL[F77,JMC] 29-Dec-77	Names and references for study
QUOTES[ESS,JMC] 05-Jun-78	Revealing quotes from Ehrlich,Commoner, Train
REFERE[ESS,JMC] 15-Mar-76	ecoreferences: losers
REFERE.BIB[ESS,JMC] 27-May-77	References
HISREF[E78,JMC] 23-Jul-78	Historical references
PRUNE.DAT[ESS,JMC] 26-Mar-73	Includes some purged files
BIOJMC[PAT,JMC]			My biography and bibliography
LIB.LST[PUB,PAT]		Index to my AI library
bio[let,jmc]			Short biography for talks, etc.
energy.bio[w80,JMC] 3-Mar-80	Biography for SE2, etc.
QUOTES[F78,JMC]		literary quotes
Epistemology -epist

NOT[F77,JMC]/2p 28-Nov-77	Reducing frame problem to qualification problem
NOT[F77,JMC]/3p 28-Nov-77	Epistemology of general problem solving
EXAMPL[W78,JMC]			Circumscription applied to frame problem
BLOCKS.NOT[W78,JMC] 27-Jan-78	Notes on blocks axiomatizations
EPIST.NOT[E78,JMC] 29-Jul-78	General notes on epistemology
NOTES[ESS,JMC]/2p 11-Jul-78	Dormitive power
MENTAL.ADD[W77,JMC] 01-Aug-78	Addenda to Acribing Mental qualities to machines
EPISTE[E76,JMC] 13-Aug-76	EPISTEMOLOGICAL PROBLEMS OF COGNOLOGY
HAYES.COM[F78,JMC]	Hayes's comments on CONCEP[s78,jmc] @ 15 April 1977
KNOW[F78,JMC]		"Mike knows what Joan asserted", etc.
w79 files

CHEMEM[W79,JMC]		Chemical Memories Storing a Register per Molecules
DENNET.2[W79,JMC]	Comments on Dennett's %2True Believers:
			The Intentional Strategy and Why it Works
ENERGY[W79,JMC]		ENERGY AND IDEOLOGY
FEFERM[W79,JMC]		Topics to raise with Feferman
FIRST[W79,JMC]		RECURSIVE PROGRAMS AS FUNCTIONS IN A FIRST ORDER THEORY
FIRST.LEC[W79,JMC]	NOTES FOR LECTURE ON PROVING PROPERTIES
			OF RECURSIVE PROGRAMS
FIRST.NOT[W79,JMC]	notes for revision of FIRST
GARDNE[W79,JMC]		Anne Gardner's Notes Toward a Legal Reasoning Program
GOEDEL[W79,JMC]		GOEDEL'S LEMMA AND APPLICATIONS IN FIRST ORDER LISP
HYPOCR[W79,JMC]		ON THE USEFULNESS OF HYPOCRISY AND PRETENSE
IDAHO[W79,JMC]		notes for Idaho lecture on AI
INDUCT.AX[W79,JMC]	FOL axioms for transfinite and LISP induction
INTELL[W79,JMC]		Programs for an intelligent system in Lisp
KNOCOM[W79,JMC]		COMPUTATION WITH STATES OF KNOWLEDGE
KYOTO[W79,JMC]		some notes on circumscription
MEMO.PUB[W79,JMC]	a special version
MOORE[W79,JMC]		Comments on R.C. Moore's thesis draft
MOSZ.LSP[W79,JMC]	recursion counter for Takeuchi function
NOTES.258[W79,JMC]	non-termination of certain functions
ORDER.PRB[W79,JMC]	Proving facts about programs that order ordinals
PROBLE.258[W79,JMC]	CS258←PROBLEM SET→WINTER 1979
QUOTES[W79,JMC]		Revealing quotes by ecovandals, Lovins,Ehrlich,Train
RATION[W79,JMC]		RATIONALITY IN HUMAN LIFE
RENEW.PRO[W79,JMC]	basic research in AI renewal proposal
RISKER[W79,JMC]		THE RISKER
SECOND[W79,JMC]		ON THE APPLICATIONS OF SECOND ORDER LOGIC TO AI AND MTC
SLOMAN[W79,JMC]		comments on Sloman's "Computer Revolution in Philosophy"
SMITH[W79,JMC]		ANTICHRIST, OR THE REUNION OF CHRISTENDOM: AN ODE
SOLITA.LSP[W79,JMC]	lisp solitaire functions
SOLITA.NOT[W79,JMC]	A few solitaire notes
TREE[W79,JMC]		conversation with Creary - Dec. 17 1979
Spring 79 files

AIQUAL[S79,JMC]		Comments an AI qual syllabus
ARPA[S79,JMC]		report
CBCL.PRO[S79,JMC]	Common Business and Military Computer Communication
			 Language
CELLUL[S79,JMC]		making Fredkin's physics relativistically invariant
CIRCUM.NEW[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
CONSTR.ESS[S79,JMC]	THE COST OF CONSTRUCTION
ELEPHA[S79,JMC]		THE PROGRAMMING LANGUAGE ELEPHANT
ELEPHA.NOT[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT old draft
ELEPHA.OLD[S79,JMC]	.cb THE PROGRAMMING LANGUAGE ELEPHANT
ENERGY[S79,JMC]		THE TRUTH ABOUT ENERGY
ENERGY.2[S79,JMC]	THE CASE FOR ENERGY COMPLACENCY OR APATHY
EPISTE[S79,JMC]		APPROACHING EPISTEMOLOGY FROM ARTIFICIAL INTELLIGENCE
EQUIV.AX[S79,JMC]	Axioms to prove existence of set of equivalence classes
EQUIV.MEM[S79,JMC]	A SIMPLE SET THEORY PROOF IN FOL
EQUIV.PRF[S79,JMC]	existence of set of equivalence classes
EQUIV.TEX[S79,JMC]	a simple set theory proof in FOL
FILES.PRO[S79,JMC]	Describing other People's Files
GAS[S79,JMC]		STATEMENT ON THE GASOLINE SHORTAGE
HIGHER[S79,JMC]		on higher level programming or specification languages
KK[S79,JMC]		Ma's Mr. S and Mr. P
KK.PRF[S79,JMC]		Ma's FOL proof of Mr. S and Mr. P
LIBRAR[S79,JMC]		.cb A PROPOSAL FOR A COMPUTERIZED LIBRARY
LISP.AX[S79,JMC]	lisp axioms from clt?
LISP.DEC[S79,JMC]	declarations for lisp axioms from clt?
LISP.LOR[S79,JMC]	dumping lisp variables in files
MARGAR[S79,JMC]		memorial remarks on Margaret Young
MEDICI.ESS[S79,JMC]	MEDICINE
META[S79,JMC]		A PROGRAMME FOR META-EPISTEMOLOGY
MINIMA.OLD[S79,JMC]	CIRCUMSCRIPTION - A FORM OF NON-MONOTONIC REASONING
NOTES.ESS[S79,JMC]	notes for improving EDUCATION, STYLE and reprint old TS
PROLEG[S79,JMC]		PROLEGOMENA TO A SCIENTIFIC THEORY OF COMMON SENSE
SOLIT.LSP[S79,JMC]	some solitaire functions
SOLIT.NOT[S79,JMC]	notes for improving solitaire program
TESTIM[S79,JMC]		testimony on Soviet mail holdups
WILKIN[S79,JMC]		Comments on draft of Wilkins's thesis
e79 files

CIRCUM[E79,JMC]		EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE
EQUALI[E79,JMC]		Discussion of equality for lisp book
IBM[E79,JMC]		various notes from summer 79
INVENT[E79,JMC]		%3INVENTORY OF PROFESSIONAL INTERESTS%1 McCarthy
ONTOLO[E79,JMC]		The Ontology of Artificial Intelligence
PROVIN[E79,JMC]		Proving Properties of Computer Programs - for book
PROVIN.REV[E79,JMC]	Proposed revision of chapter PROVIN
PYLYSH[E79,JMC]		Pylyshyn quixotic
REMARK[E79,JMC]		remarks suggested by circumscription but not about it
SEARLE.RE1[E79,JMC]	%3Notes on Searle's "Notes on artificial intelligence"%1
WASTE.ENE[E79,JMC]	STORAGE OF WASTE FROM NUCLEAR PLANTS - draft ad
Fall 79 files

ABILIT[F79,JMC]		Comments on Dennett's The Abilities of Men and Machines
CIRCUM.AB2[F79,JMC]	FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ABS[F79,JMC]	notes for FORMALIZATION OF OCKHAM'S RAZOR
CIRCUM.ADD[F79,JMC]	ADDENDUM: CIRCUMSCRIPTION AND OTHER NON-MONOTONIC
				 FORMALISMS"
CIRCUM.NOT[F79,JMC]	minimizing non-monotonic reasoning
DENNET[F79,JMC]		Comments on %2Brainstorms%1.
DISCUS[F79,JMC]		Small Intentional Systems - JMC - Dec 19, 1979
ENERGY[F79,JMC]		Energy and ideology - Teller meeting oct 11
IDEOLO[F79,JMC]		not a polemic - an attempt at understanding ideology
INTENT.F79[F79,JMC]	Remarks on intentions (triggered by Searle manuscript
ISRAEL.SPE[F79,JMC]	THE REAL COMPUTER REVOLUTION
ISSUES.F79[F79,JMC]	Issues to be discussed in group, possibly in panels
LOCKE[F79,JMC]		LOCKE - NOTES ON SOME UNFINISHED BUSINESS
PHILIS[F79,JMC]		IN PRAISE OF PHILISTINISM
MCCRAC.F79[F79,JMC]	draft of letter re mccracen editorial
MEANIN.F79[F79,JMC]	Concepts Meaningful in Approximate Theories
PRBSLV.COM[F79,JMC]	Comments on a Creary draft
PUTNAM.F79[F79,JMC]	Comments on Putnam's "Computational Psychology
				 and Interpretation Theory
PYLYSH.F79[F79,JMC]	Comments on Pylyshyn's "Computation and cognition:
			Issues in the foundations of cognitive science".
QUANTU.F79[F79,JMC]	notes on foundations of quantum mechanics
VISION[F79,JMC]		what can we really do in vision
W80 files

AAAS[W80,JMC]		short list of fools and non fools
ABOUT[W80,JMC]		Knowing about
ACM.SPE[W80,JMC]	Transcript of ACM lecture.
ADVICE[W80,JMC]		plan for Advice Taker Project
AI[W80,JMC]		notes for lectures on AI and philosophy
ANDERS.NS[W80,JMC]	Anderson's standard speech
APPROX[W80,JMC]		Notes on Approximate Theories
BAKER.NS[W80,JMC]	Baker's standard speech
BARWIS[W80,JMC]		contains comments on Barwise's lecture and notes
BEYOND[W80,JMC]		Comments on Dennett's "Beyond Belief"
BODY[W80,JMC]		Bodies of knowledge
BUSH.NS[W80,JMC]	Bush's standard speech
CAMPBE[W80,JMC]		Notes on %2Descriptive Epistemology: Psychological,
			Sociological, and Evolutionary%1
			by Donald T. Campbell
CAUSE[W80,JMC]		CAUSALITY IN SYSTEMS OF INTERACTING AUTOMATA
CHALLE[W80,JMC]		Challenges to weak AI, especially to Schankian AI
CIRCUM.REP[W80,JMC]	REPLIES TO COMMENTS ON "FORMALIZING OCKHAM'S RAZOR"
CIRCUM.W80[W80,JMC]	Circumscription: A Form of non-Monotonic Reasoning
CONAES[W80,JMC]		Questions on the CONAES report
CONNAL.NS[W80,JMC]	Connally's standard speech
COUNTE[W80,JMC]		CARTESIAN COUNTERFACTUALS
CREARY[W80,JMC]		conversations with Creary
DISPLA[W80,JMC]		display supply conversations
DISSEN[W80,JMC]		Dissenting opinions (mine)
DOYLE[W80,JMC]		comments on Doyle's Stanford lecture
ELEPH2[W80,JMC]		elephant notes
ENERGY.BIO[W80,JMC]	biography for energy lectures
ERROR[W80,JMC]		some common misused words
FEYERA[W80,JMC]		for the philosophical lexicon
FRAME[W80,JMC]		THE FRAME PROBLEM IN THE 1980s
HOOK[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
HOOK.M[W80,JMC]		A SKYHOOK SUPPORTED BY ORBITING PARTICLES
IDEAS.W80[W80,JMC]	Scenes a la Barwise
			Advice Taker should begin with declarative formalism
			AIphil discussion on individual ascriptions
				 of mental qualities
			anthroplogists overaccept primitive ideas
			differential equations
			Circumscription and intensionality
			Going down
ISRAEL.SPE[W80,JMC]	Speech at IBM symposium in Haifa
JOINT[W80,JMC]		JOINT KNOWLEDGE
KENNED.NS[W80,JMC]	Kennedy's standard speech
LOSER[W80,JMC]		IRS demands that banks keep records IRS loses
LYSENK[W80,JMC]		Lysenkoism in Energy Research
META[W80,JMC]		Metaphilosophy
MINSKY.SE1[W80,JMC]	Minsky on Searle
NAMING[W80,JMC]		AI and "Naming, Necessity and Natural Kinds"
OFFICE[W80,JMC]		CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OFFICE.2[W80,JMC]	CRITERIA FOR USEFULNESS OF COMPUTERS IN OFFICES
OPPORT[W80,JMC]		Social effects of keeping publications in the computer
POSH.NS[W80,JMC]	top hotels and restaurants
PROBLE[W80,JMC]		Bill wants to have an affair with Tom's wife
REAGAN.NS[W80,JMC]	Reagan's standard speech
RENEW.PRO[W80,JMC]	renewal of nsf proposal
ROMANT[W80,JMC]		Pro-technology must appeal to the imagination
SE2[W80,JMC]		notes on SE2 affairs
SEARLE[W80,JMC]		short and sweet Searle refutation
SEARLE.1[W80,JMC]	notes on Searle
SEARLE.2[W80,JMC]	Comments on Searle's "Minds, Brains and Programs"
SECRET.NS[W80,JMC]	News stories that wrongly reveal secrets
SEX[W80,JMC]		Comments on Evolution of Human Sexuality
SOCIAL[W80,JMC]		SOCIAL SCIENCE IS VERY COMPLICATED
STANDA[W80,JMC]		TARGETS FOR STANDARDIZATION
TALK[W80,JMC]		notes for CASBS on computerization
TALK1[W80,JMC]		SOCIAL OPPORTUNITIES FROM COMPUTER TECHNOLOGY
TECSOC[W80,JMC]		SOCIETAL ATTITUDES TO TECHNOLOGY - for ACM
Spring 1980 files

ANNOUN[S80,JMC]		announcement of
			TWO LECTURES ON FORMALIZED NON-MONOTONIC REASONING
AP.NS[S80,JMC]		AP story on Compuserve
ARPA.REP[S80,JMC]	FISCAL YEAR 80 ACCOMPLISHMENTS AND FISCAL YEAR 81 PLANS
CASBS[S80,JMC]		report on AI and philosophy group
CHICAG.NS[S80,JMC]	news stories on Chicago meeting
CIRCUM.MOR[S80,JMC]	draft of supplementary paper on circumscription
CLOSED[S80,JMC]		how to do closed world assumption in ordinary logic
CONCUR[S80,JMC]		Formalization of concurrent events
CONSER[S80,JMC]		notes for severe conservation paper
CONSER.2[S80,JMC]	severe conservation paper
CONTEN[S80,JMC]		Comments on Dennett's "Content and Consciousness"
CS206.ABS[S80,JMC]	description of cs206 with some commitments
DOYLE[S80,JMC]		short comment on Doyle's thesis
DOYLE.2[S80,JMC]	proposal to ARPA on Doyle's work
DOYLE.DOC[S80,JMC]	proposal to ARPA on Doyle's work for network sending
DOYLE.PRO[S80,JMC]	pub source of Doyle proposal
ELEPHA[S80,JMC]		spring 1980 form of elephant paper
ELEPHA.2[S80,JMC]	notes on elephant
EXTREM[S80,JMC]		draft material on extreme conservation
GRADES[S80,JMC]		GRADE SCHOOL GRAMMAR AS AN AI LANGUAGE
IDEAS[S80,JMC]		Language of common sense
			Generate and test
			de re belief attributions
			Queries and Conjectures in Economics
INDOOR[S80,JMC]		draft letter to se2 proposing lawsuit on insulation
INDOOR.NS[S80,JMC]	report of EPA findings on dangers of insulation
JAY.NS[S80,JMC]		politicization as an American energy sink
KETONE[S80,JMC]		Comments on Ketonen's proposal for a proof checker
MEMO.PUB[S80,JMC]	special form for some paper
NATURA[S80,JMC]		Natural Kinds
NS.NS[S80,JMC]		about news services being offered
ONTOLO[S80,JMC]		THE CASE FOR ONTOLOGICAL ENRICHMENT
PETITI[S80,JMC]		PETITION TO MR. RAMSEY CLARK
PIAGET[S80,JMC]		Margaret Boden's %2Jean Piaget%1, Viking Press 1980
PRODUC[S80,JMC]		PRODUCTION IS THE SOLUTION TO THE ENERGY CRISIS
PRODUC.2[S80,JMC]	THE SOLUTION TO THE ENERGY CRISIS IS TO PRODUCE ENERGY
REACT.SE2[S80,JMC]	SOME REACTIONS TO THE SE2 CONFERENCE - 6/80
REAGAN[S80,JMC]		proposing an energy position paper to Reagan
REIFY[S80,JMC]		On Reification
REPORT[S80,JMC]		ARPA report
SENSES[S80,JMC]		DISCUSSION WITH BOB MOORE (RCM) APRIL 21, 1980
TELEMA.NS[S80,JMC]	French terminal plans
TERMIN.NS[S80,JMC]	Terminal experiments
TIME.HIS[S80,JMC]	1959 Memo to Morse on time-sharing
UNDERS[S80,JMC]		UNDERSTANDING
YERGIN.NS[S80,JMC]	Harvard conf. urges conservation for cutoff contingency
Summer 1980 files

blocks.[e80,jmc]	Base cs226 on blocks world
BLOCKS.DMP[E80,JMC]	fol core image for blocks proof
CAR.NS[E80,JMC]		about used cars
cltcom.lsp[e80,jmc]	examples for compiling from multiple output form to LISP
COMMON.[E80,JMC]	Programs with Common Sense
cyclic[e80,jmc]		Induction principle for cyclic list structures		
cyclic.lsp[e80,jmc]	functions for computing with cyclic list structures
DINNAN.NS[E80,JMC]	Professor jailed for refusing to tell how he voted.
DUBINI.NS[E80,JMC]	Soviet Geneticist Says Experiments
			 Endanger Marxist Ideology
EKL.REM[E80,JMC]	Comments on Ketonen's EKL
EMIGRA.[E80,JMC]	BIOLOGICAL ADVANTAGES OF TERRITORIALITY AND EMIGRATION
FREEDO.[E80,JMC]	the survival of freedom - for Jerry Pournelle
FUSION.[E80,JMC]	on the U.S. Labor Party and Fusion Magazine
GIANI.[E80,JMC]		notes on formalizing the opera plot
GIANT.[E80,JMC]		items for giant file proposal
GRIM[e80,jmc]		some grim and unpleasant facts
grumbl.[e80,jmc]	Circumscription is semi-decidable: bobrow preface
HIROSH.NS[E80,JMC]	Reminiscences if Tinian at war's end
HOLE.[E80,JMC]		Dynamic Casing for Hole through the Center of the Earth
IDEAS.[E80,JMC]		Research needed on invention needs
INSUL.NS[E80,JMC]	Two news stories on dangers of over-insulation
LAMBDA.LSP[E80,JMC]	Lambda calculus interpreter
LISP.[E80,JMC]		address for lisp conference
LISP.2[E80,JMC]		notes for address for lisp conference
MACRO.LSP[E80,JMC]	if macro and macdef macro
MATCH.LSP[E80,JMC]	Simplification rules using Gabriel matcher
MEMO.PUB[E80,JMC]	special version for LISP conference address
MONOPO.[E80,JMC]	natural monopoly in information storage
multi[e80,jmc]		multiple output lisp functions - CLT and JMC variants
NISBET.[E80,JMC]	Comments on Nisbett and Ross book on human inference
NS.NS[E80,JMC]		electronic newspaper experiments
nsf[e80,jmc] 23-Aug-80		NSF proposal for basic research in AI (1980)
OCR.[E80,JMC]		Memo to Selfridge advocating new OCR work
PATTER.LSP[E80,JMC]	inst with catch-throw and as pseudo-predicate
PHILPA.[E80,JMC]	McCarthy Papers on Philosophy and Artificial Intelligence
PLUTON.NS[E80,JMC]	Raeburn story - misleading about plutonium
PRODUC.[E80,JMC]	Office and bureaucratic productivity
REVAL.LSP[E80,JMC]	The Italian eval from 1975 and comparisons.
ROYKO.NS[E80,JMC]	Interview with Royko
SELFAP.LSP[E80,JMC]	lisp expression whose value is itself
SEMINA.[E80,JMC]	Knowledge and action seminar
SIGMA.[E80,JMC]		SOCIAL CONSEQUENCES OF COMPUTER TECHNOLOGY-abstract
SOLAR.NS[E80,JMC]	California solar puffery
TECH.NS[E80,JMC]	Co-operative research university - industry
threen[e80,jmc]		a chip for the 3n+1 function
threen.lsp[e80,jmc]	3n+1 function action as determined by k low order bits.
TOPRIN.[E80,JMC]	Some philosophy and AI files
vague[e80,jmc] 23-aug-80	How to formalize vague concepts
WINE.NS[E80,JMC]	some good wines